#include<bits/stdc++.h>
using namespace std;
int main() {
  int n, max, min, cur;
  int cs=0;
  while(true) {
    int n;
    ++cs;
    int sum=0, cnt=0;
    scanf("%d", &n);
    if(n==0) return 0;
    else {
      scanf("%d", &cur);
      ++cnt;
      sum=cur;
      max=min=cur;
      for(n-=1;n!=0; --n) {
        scanf("%d", &cur);
        if(cur>max) max=cur;
        if(cur<min) min=cur;
        ++cnt;
        sum+=cur;
      }
      printf("Case %d: %d %d %.3lf\n", cs, min, max, (double)sum/(double)cnt);
    }
  }
  return 0;
}
